441. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
442. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
443. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده : / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
444. Category theory & computer programming:tutorial & workshop,
پدیدآورنده : PITT,DAVID H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , CATEGORIES )MATHEMATICS(
رده :
QA
76
.
6
.
C387
1985
445. Classic shell scripting
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : UNIX (Computer file) ; Operating systems (Computers) ; Programming languages (Electronic computers) ;
446. Classic shell scripting
پدیدآورنده : / Arnold Robbins and Nelson H. F. Beebe
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Operating systems (Computers),Programming languages (Electronic computers)
رده :
QA76
.
76
.
O63
,
R563
2005
447. Clipper 5.01
پدیدآورنده : / Subhash Mehta,Mehta
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Clipper ( Computer program language ),Programming language (Electronic Computers)
رده :
QA
76
.
73
.
C56M4
1992
448. Clours moderne de calcul automatique
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers,Machine theory,Programming languages (Electronic computers)
رده :
510
.
7834
Pa-C
449. Cobol; a self-instructional manual
پدیدآورنده : / James A. Saxon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Programming languages (Electronic computers) - Business
رده :
001
.
6424
Sa-C
450. Cobol programming
پدیدآورنده : / [ by ] Nancy B .Stern [ and others ],Stern
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : COBOL (computer program language),Electronic digital computers -- Programming
رده :
QA
76
.
73
.
C25S75
451. Cobol programming: a complete cource in writing cobol programs
پدیدآورنده : / by John Watters
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Cobol (Computer program langue)
رده :
651
.
8
Wa-C
452. Code craf
پدیدآورنده : / Pete Goodliffe
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programming.,Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
6
,.
G656
,
2006eb
453. Code craft
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming. ; Programming languages (Electronic computers) ; Computer software ; Development. ;
454. Coders at work :
پدیدآورنده : Peter Seibel
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programmers, Interviews,Programming (Electronic computers)
رده :
HD8039
.
D37
S45
2009
455. Cognitive modeling and verbal semantics :
پدیدآورنده : by Andrea C. Schalley
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cognitive grammar,Programming languages (Electronic computers)-- Semantics,Semantics-- Mathematical models,UML (Computer science)
456. Combinatorial algorithms
پدیدآورنده : Kucera, Ludek
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Algorithms,، Graph theory
رده :
QA
76
.
6
.
K8413
1989
457. Combinatorial algorithms
پدیدآورنده : Kucera, Ludek.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming , Algorithms , Graph theory
رده :
QA
76
.
6
.
K84
1990
458. Combinatorial complexes: a mathematical theory of algorithms
پدیدآورنده : Sellers, Peter H
موضوع : ، Electronic digital computers- Programming,، Programming languages )electronic computers(,، Algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
459. Combinatorial complexes : a mathematical theory of algorithms
پدیدآورنده : Sellers, Peter H.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
6
.
S448
460. Commad languages proceeding of the IFIP Working Conference on Command Languages
پدیدآورنده : edited by C. Unger
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers(,، Information technology
رده :
QA
76
.
I19
1974
